搜索
在 Matthew Berman 的采访中，OpenAI CEO Sam Altman 称内部未公开模型在部分数学研究上已超越现有公开模型，并认为 AI 提效可能让程序员更忙碌、创造更大价值甚至赚得更多。
用户借助 Claude Code 制作开源项目 TV Detox，在逐项确认后关闭 Android 电视广告和预装应用；OpenAI 评测显示 GPT-6.1 Sol 迁移 COBOL 的隐藏测试准确率最高达 97.9%，但真实银行系统仍需专家审查。
上月发布 GPT-6-Astra 时，OpenAI 称它为「全球智能程度最高且最符合人类意图的模型」。具身社区则是惊讶的发现，VLA vs WAM 的路线之争，被通用大模型用文字模态「降维打击」了，大家不禁想问：
据 The Information 报道，Anthropic 正筹备一款尚未公布的新模型，据称其推理和直觉判断能力超过现有商用模型，并能推断用户未明确表达的意图；Google 正开发 Gemini 4 Carbon，OpenAI 预计未来几周推出 Terra 系列新模型。
OpenAI API 模型列表短暂出现 aurora-red-alpha、aurora-green-alpha 和 aurora-blue-alpha，随后被移除，Arena 盲测显示三者可能均为生图模型，但 OpenAI 尚未确认其身份。
360推出AI办公平台纳米Work，通过原生Office、超级画布、云端专属电脑及多Agent协同和五道安全防线，让任务持续执行并由人主导验收。
近期，AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果，也让数学界开始重新思考：当 AI 能够参与甚至独立完成复杂数学证明，数学家的价值将如何体现？数学研究的范式、人才培养方式又将发生哪些变化？
刚刚，一则消息让已经被 OpenAI 放弃的视频生成模型 Sora，再次回到公众视野。
刚刚，前 OpenAI 联合创始人 Karpathy 画了一张扎心的 AI 漏斗： 全世界大约 80 亿人，能接触到实验室内部最强 AI 系统的，可能只有 5000 人。
前些时日，OpenAI 在 GitHub 上一口气放出了 722 篇数学论文手稿。这些手稿被归为 372 个结果「家族」，横跨 17 个数学领域，全部出自一个尚未发布、也没有公开名字的内部模型——其性能远胜 GPT-6 Astra。